<HTML><HEAD><TITLE>?X #\= ?Y</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?X #\= ?Y</H1>
X is different from Y.


<DL>
<DT><EM>?X</EM></DT>
<DD>A linear term.
</DD>
<DT><EM>?Y</EM></DT>
<DD>A linear term.
</DD>
</DL>
<H2>Description</H2>
   This constraints states that the two linear terms are not equal.  It is
   suspended until at most one variable appears in it and then its domain
   is updated so that the constraint is satisfied.

<P>

<H3>Fail Conditions</H3>
   The constraint does not hold if X=Y.


<H3>Resatisfiable</H3>
   No.
<H2>See Also</H2>
<A HREF="../../lib/fd/NN-2.html">:: / 2</A>, <A HREF="../../lib/fd/HNN-2.html">#:: / 2</A>, <A HREF="../../lib/fd/HE-2.html">#= / 2</A>
</BODY></HTML>
